Subspaces of ordinals
نویسندگان
چکیده
منابع مشابه
Normal subspaces in products of two ordinals
Let λ be an ordinal number. It is shown that normality, collectionwise normality and shrinking are equivalent for all subspaces of (λ+ 1)2.
متن کاملAlgebraic Ordinals
An algebraic tree T is one determined by a finite system of fixed point equations. The frontier Fr(T) of an algebraic tree T is linearly ordered by the lexicographic order < ℓ. If (Fr(T) < ℓ) is well-ordered, its order type is an algebraic ordinal. We prove that the algebraic ordinals are exactly the ordinals less than ω ω ω .
متن کاملMonadic Definability of Ordinals
We identify precisely which singular ordinals are definable by monadic second order formulae over the ordinals, assuming knowledge of the definable regular cardi-
متن کاملLarge Ordinals
Let j be an elementary embedding of V into V that is not the identity, and let be the critical point of j. Let A be the closure of fjg under the operation a(b) of application, and let be the closure of f g under the operation minf : a( ) b( )g. We give a complete description of the set under an assumption (Threshold Hypothesis) on cyclic left distributive algebras.
متن کاملCountable Ordinals
This development defines a well-ordered type of countable ordinals. It includes notions of continuous and normal functions, recursively defined functions over ordinals, least fixed-points, and derivatives. Much of ordinal arithmetic is formalized, including exponentials and logarithms. The development concludes with formalizations of Cantor Normal Form and Veblen hierarchies over normal functions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2014
ISSN: 0166-8641
DOI: 10.1016/j.topol.2014.02.022